#include <stdint.h>
#include "rvv-v0p10-compatible-headers/non-policy.h"
#include "rvv-v0p10-compatible-headers/policy.h"
#include <riscv_vector.h>

typedef _Float16 float16_t;
typedef float float32_t;
typedef double float64_t;
vuint8m1_t test_vredmaxu_vs_u8mf8_u8m1_tu(vuint8m1_t maskedoff, vuint8mf8_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8mf8_u8m1_tu(maskedoff, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8mf4_u8m1_tu(vuint8m1_t maskedoff, vuint8mf4_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8mf4_u8m1_tu(maskedoff, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8mf2_u8m1_tu(vuint8m1_t maskedoff, vuint8mf2_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8mf2_u8m1_tu(maskedoff, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8m1_u8m1_tu(vuint8m1_t maskedoff, vuint8m1_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8m1_u8m1_tu(maskedoff, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8m2_u8m1_tu(vuint8m1_t maskedoff, vuint8m2_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8m2_u8m1_tu(maskedoff, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8m4_u8m1_tu(vuint8m1_t maskedoff, vuint8m4_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8m4_u8m1_tu(maskedoff, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8m8_u8m1_tu(vuint8m1_t maskedoff, vuint8m8_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8m8_u8m1_tu(maskedoff, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16mf4_u16m1_tu(vuint16m1_t maskedoff, vuint16mf4_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16mf4_u16m1_tu(maskedoff, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16mf2_u16m1_tu(vuint16m1_t maskedoff, vuint16mf2_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16mf2_u16m1_tu(maskedoff, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16m1_u16m1_tu(vuint16m1_t maskedoff, vuint16m1_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16m1_u16m1_tu(maskedoff, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16m2_u16m1_tu(vuint16m1_t maskedoff, vuint16m2_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16m2_u16m1_tu(maskedoff, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16m4_u16m1_tu(vuint16m1_t maskedoff, vuint16m4_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16m4_u16m1_tu(maskedoff, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16m8_u16m1_tu(vuint16m1_t maskedoff, vuint16m8_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16m8_u16m1_tu(maskedoff, vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32mf2_u32m1_tu(vuint32m1_t maskedoff, vuint32mf2_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32mf2_u32m1_tu(maskedoff, vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32m1_u32m1_tu(vuint32m1_t maskedoff, vuint32m1_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32m1_u32m1_tu(maskedoff, vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32m2_u32m1_tu(vuint32m1_t maskedoff, vuint32m2_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32m2_u32m1_tu(maskedoff, vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32m4_u32m1_tu(vuint32m1_t maskedoff, vuint32m4_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32m4_u32m1_tu(maskedoff, vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32m8_u32m1_tu(vuint32m1_t maskedoff, vuint32m8_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32m8_u32m1_tu(maskedoff, vector, scalar, vl);
}

vuint64m1_t test_vredmaxu_vs_u64m1_u64m1_tu(vuint64m1_t maskedoff, vuint64m1_t vector, vuint64m1_t scalar, size_t vl) {
  return vredmaxu_vs_u64m1_u64m1_tu(maskedoff, vector, scalar, vl);
}

vuint64m1_t test_vredmaxu_vs_u64m2_u64m1_tu(vuint64m1_t maskedoff, vuint64m2_t vector, vuint64m1_t scalar, size_t vl) {
  return vredmaxu_vs_u64m2_u64m1_tu(maskedoff, vector, scalar, vl);
}

vuint64m1_t test_vredmaxu_vs_u64m4_u64m1_tu(vuint64m1_t maskedoff, vuint64m4_t vector, vuint64m1_t scalar, size_t vl) {
  return vredmaxu_vs_u64m4_u64m1_tu(maskedoff, vector, scalar, vl);
}

vuint64m1_t test_vredmaxu_vs_u64m8_u64m1_tu(vuint64m1_t maskedoff, vuint64m8_t vector, vuint64m1_t scalar, size_t vl) {
  return vredmaxu_vs_u64m8_u64m1_tu(maskedoff, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8mf8_u8m1_ta(vuint8mf8_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8mf8_u8m1_ta(vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8mf4_u8m1_ta(vuint8mf4_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8mf4_u8m1_ta(vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8mf2_u8m1_ta(vuint8mf2_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8mf2_u8m1_ta(vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8m1_u8m1_ta(vuint8m1_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8m1_u8m1_ta(vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8m2_u8m1_ta(vuint8m2_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8m2_u8m1_ta(vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8m4_u8m1_ta(vuint8m4_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8m4_u8m1_ta(vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8m8_u8m1_ta(vuint8m8_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8m8_u8m1_ta(vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16mf4_u16m1_ta(vuint16mf4_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16mf4_u16m1_ta(vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16mf2_u16m1_ta(vuint16mf2_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16mf2_u16m1_ta(vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16m1_u16m1_ta(vuint16m1_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16m1_u16m1_ta(vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16m2_u16m1_ta(vuint16m2_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16m2_u16m1_ta(vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16m4_u16m1_ta(vuint16m4_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16m4_u16m1_ta(vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16m8_u16m1_ta(vuint16m8_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16m8_u16m1_ta(vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32mf2_u32m1_ta(vuint32mf2_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32mf2_u32m1_ta(vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32m1_u32m1_ta(vuint32m1_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32m1_u32m1_ta(vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32m2_u32m1_ta(vuint32m2_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32m2_u32m1_ta(vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32m4_u32m1_ta(vuint32m4_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32m4_u32m1_ta(vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32m8_u32m1_ta(vuint32m8_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32m8_u32m1_ta(vector, scalar, vl);
}

vuint64m1_t test_vredmaxu_vs_u64m1_u64m1_ta(vuint64m1_t vector, vuint64m1_t scalar, size_t vl) {
  return vredmaxu_vs_u64m1_u64m1_ta(vector, scalar, vl);
}

vuint64m1_t test_vredmaxu_vs_u64m2_u64m1_ta(vuint64m2_t vector, vuint64m1_t scalar, size_t vl) {
  return vredmaxu_vs_u64m2_u64m1_ta(vector, scalar, vl);
}

vuint64m1_t test_vredmaxu_vs_u64m4_u64m1_ta(vuint64m4_t vector, vuint64m1_t scalar, size_t vl) {
  return vredmaxu_vs_u64m4_u64m1_ta(vector, scalar, vl);
}

vuint64m1_t test_vredmaxu_vs_u64m8_u64m1_ta(vuint64m8_t vector, vuint64m1_t scalar, size_t vl) {
  return vredmaxu_vs_u64m8_u64m1_ta(vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8mf8_u8m1_tum(vbool64_t mask, vuint8m1_t maskedoff, vuint8mf8_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8mf8_u8m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8mf4_u8m1_tum(vbool32_t mask, vuint8m1_t maskedoff, vuint8mf4_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8mf4_u8m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8mf2_u8m1_tum(vbool16_t mask, vuint8m1_t maskedoff, vuint8mf2_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8mf2_u8m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8m1_u8m1_tum(vbool8_t mask, vuint8m1_t maskedoff, vuint8m1_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8m1_u8m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8m2_u8m1_tum(vbool4_t mask, vuint8m1_t maskedoff, vuint8m2_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8m2_u8m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8m4_u8m1_tum(vbool2_t mask, vuint8m1_t maskedoff, vuint8m4_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8m4_u8m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8m8_u8m1_tum(vbool1_t mask, vuint8m1_t maskedoff, vuint8m8_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8m8_u8m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16mf4_u16m1_tum(vbool64_t mask, vuint16m1_t maskedoff, vuint16mf4_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16mf4_u16m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16mf2_u16m1_tum(vbool32_t mask, vuint16m1_t maskedoff, vuint16mf2_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16mf2_u16m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16m1_u16m1_tum(vbool16_t mask, vuint16m1_t maskedoff, vuint16m1_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16m1_u16m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16m2_u16m1_tum(vbool8_t mask, vuint16m1_t maskedoff, vuint16m2_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16m2_u16m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16m4_u16m1_tum(vbool4_t mask, vuint16m1_t maskedoff, vuint16m4_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16m4_u16m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16m8_u16m1_tum(vbool2_t mask, vuint16m1_t maskedoff, vuint16m8_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16m8_u16m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32mf2_u32m1_tum(vbool64_t mask, vuint32m1_t maskedoff, vuint32mf2_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32mf2_u32m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32m1_u32m1_tum(vbool32_t mask, vuint32m1_t maskedoff, vuint32m1_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32m1_u32m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32m2_u32m1_tum(vbool16_t mask, vuint32m1_t maskedoff, vuint32m2_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32m2_u32m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32m4_u32m1_tum(vbool8_t mask, vuint32m1_t maskedoff, vuint32m4_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32m4_u32m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32m8_u32m1_tum(vbool4_t mask, vuint32m1_t maskedoff, vuint32m8_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32m8_u32m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint64m1_t test_vredmaxu_vs_u64m1_u64m1_tum(vbool64_t mask, vuint64m1_t maskedoff, vuint64m1_t vector, vuint64m1_t scalar, size_t vl) {
  return vredmaxu_vs_u64m1_u64m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint64m1_t test_vredmaxu_vs_u64m2_u64m1_tum(vbool32_t mask, vuint64m1_t maskedoff, vuint64m2_t vector, vuint64m1_t scalar, size_t vl) {
  return vredmaxu_vs_u64m2_u64m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint64m1_t test_vredmaxu_vs_u64m4_u64m1_tum(vbool16_t mask, vuint64m1_t maskedoff, vuint64m4_t vector, vuint64m1_t scalar, size_t vl) {
  return vredmaxu_vs_u64m4_u64m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint64m1_t test_vredmaxu_vs_u64m8_u64m1_tum(vbool8_t mask, vuint64m1_t maskedoff, vuint64m8_t vector, vuint64m1_t scalar, size_t vl) {
  return vredmaxu_vs_u64m8_u64m1_tum(mask, maskedoff, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8mf8_u8m1_tam(vbool64_t mask, vuint8mf8_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8mf8_u8m1_tam(mask, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8mf4_u8m1_tam(vbool32_t mask, vuint8mf4_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8mf4_u8m1_tam(mask, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8mf2_u8m1_tam(vbool16_t mask, vuint8mf2_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8mf2_u8m1_tam(mask, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8m1_u8m1_tam(vbool8_t mask, vuint8m1_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8m1_u8m1_tam(mask, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8m2_u8m1_tam(vbool4_t mask, vuint8m2_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8m2_u8m1_tam(mask, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8m4_u8m1_tam(vbool2_t mask, vuint8m4_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8m4_u8m1_tam(mask, vector, scalar, vl);
}

vuint8m1_t test_vredmaxu_vs_u8m8_u8m1_tam(vbool1_t mask, vuint8m8_t vector, vuint8m1_t scalar, size_t vl) {
  return vredmaxu_vs_u8m8_u8m1_tam(mask, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16mf4_u16m1_tam(vbool64_t mask, vuint16mf4_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16mf4_u16m1_tam(mask, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16mf2_u16m1_tam(vbool32_t mask, vuint16mf2_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16mf2_u16m1_tam(mask, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16m1_u16m1_tam(vbool16_t mask, vuint16m1_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16m1_u16m1_tam(mask, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16m2_u16m1_tam(vbool8_t mask, vuint16m2_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16m2_u16m1_tam(mask, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16m4_u16m1_tam(vbool4_t mask, vuint16m4_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16m4_u16m1_tam(mask, vector, scalar, vl);
}

vuint16m1_t test_vredmaxu_vs_u16m8_u16m1_tam(vbool2_t mask, vuint16m8_t vector, vuint16m1_t scalar, size_t vl) {
  return vredmaxu_vs_u16m8_u16m1_tam(mask, vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32mf2_u32m1_tam(vbool64_t mask, vuint32mf2_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32mf2_u32m1_tam(mask, vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32m1_u32m1_tam(vbool32_t mask, vuint32m1_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32m1_u32m1_tam(mask, vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32m2_u32m1_tam(vbool16_t mask, vuint32m2_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32m2_u32m1_tam(mask, vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32m4_u32m1_tam(vbool8_t mask, vuint32m4_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32m4_u32m1_tam(mask, vector, scalar, vl);
}

vuint32m1_t test_vredmaxu_vs_u32m8_u32m1_tam(vbool4_t mask, vuint32m8_t vector, vuint32m1_t scalar, size_t vl) {
  return vredmaxu_vs_u32m8_u32m1_tam(mask, vector, scalar, vl);
}

vuint64m1_t test_vredmaxu_vs_u64m1_u64m1_tam(vbool64_t mask, vuint64m1_t vector, vuint64m1_t scalar, size_t vl) {
  return vredmaxu_vs_u64m1_u64m1_tam(mask, vector, scalar, vl);
}

vuint64m1_t test_vredmaxu_vs_u64m2_u64m1_tam(vbool32_t mask, vuint64m2_t vector, vuint64m1_t scalar, size_t vl) {
  return vredmaxu_vs_u64m2_u64m1_tam(mask, vector, scalar, vl);
}

vuint64m1_t test_vredmaxu_vs_u64m4_u64m1_tam(vbool16_t mask, vuint64m4_t vector, vuint64m1_t scalar, size_t vl) {
  return vredmaxu_vs_u64m4_u64m1_tam(mask, vector, scalar, vl);
}

vuint64m1_t test_vredmaxu_vs_u64m8_u64m1_tam(vbool8_t mask, vuint64m8_t vector, vuint64m1_t scalar, size_t vl) {
  return vredmaxu_vs_u64m8_u64m1_tam(mask, vector, scalar, vl);
}

